To be announced
نویسندگان
چکیده
In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such present complete axiomatizations, focussing on axioms involving the interaction between knowledge and quantifiers, report their relative expressivity, decidability complexity of model checking satisfiability, applications. We focus open problems new directions research.
منابع مشابه
SYMPLICITY HTN-3 results to be announced: a mystery or a story foretold?
a Research Unit Hypertension and Cardiovascular Epidemiology, KU Leuven Department of Cardiovascular Sciences, University of Leuven, Leuven 3000, Belgium; Pole of Cardiovascular Research, Institut de Recherche Experimentale et Clinique, Universite Catholique de Louvain, Brussels 1200, Belgium; c Division of Cardiology, Cliniques Universitaires Saint-Luc, Universite Catholique de Louvain, Brusse...
متن کاملAnnual IT Awards Announced
This paper is based on the Shannon Lecture presented in August 2011, at ISIT2011, Saint Petersburg, Russia, and it presents a subjective overview of selected topics in Information Theory, Communications and Signal Processing taking an InformationEstimation perspective. We first review basic Information-Minimum Mean Square Error (IMMSE) relations and properties in Gaussian additive channels, and...
متن کاملPaying People to Be Healthy
User Financial Incentives (UFIs) have emerged as a powerful tool for health promotion. Strong evidence suggests that large enough incentives paid to individuals, conditional on behaviour they can control, encourages more of the desired behaviour. However, such interventions can have unintended consequences for non-targeted behaviours. Implementation difficulties that result in individuals not u...
متن کاملDependence receptors: mechanisms of an announced death.
Dependence receptors form a family of functionally related receptors which are all able to induce two completely opposite intracellular signals depending on the availability of their ligand. Indeed, in its presence, they mediate a positive, classical signal transduction of survival, differentiation or migration but without it, they trigger a negative signal which leads to cell death. The molecu...
متن کاملWill the announced influenza pandemic really happen?
We propose two simple probability models to compute the probability of an influenza pandemic. Under a random walk model the probability that all pandemics between times 0 and 300 occur by time 150 is 1/2. Under a Poisson model with mean interarrival time of 30 years the probability that no pandemic occurs during at least 60 years is 14%. These probabilities are much higher than generally percei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Computation
سال: 2023
ISSN: ['0890-5401', '1090-2651']
DOI: https://doi.org/10.1016/j.ic.2023.105026